Defeasible Deontic Reasoning
نویسنده
چکیده
This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm’s Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.
منابع مشابه
Possible World Semantics for Defeasible Deontic Logic
Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible lo...
متن کاملViolated Obligations in a Defeasible Deontic Logic1
Deontic logic is characterized by the distinction between the actual and the ideal. In this article we discuss the situation where the actual deviates from the ideal, where obligations are violated. Nonmonotonic logics can be very helpful for the formalization of deontic reasoning, in particular to infer moral cues. It has been argued that the problems related to violated obligations, e.g. the ...
متن کاملOn the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
In this paper we formally prove that compliance results derived from temporal defeasible logic are equivalent to the ones obtained in the standard defeasible deontic logic. In order to do so we first introduce an operator allowing us to translate rules from the standard to the temporal framework. Then we consider the sets of obligations used in the compliance checking algorithm from [19] and pr...
متن کاملContextual Deontic Logic Violation Contexts and Factual Defeasibility
In this article we introduce Contextual Deontic Logic (Cdl) to analyze the relation between deontic, contextual and defeasible reasoning. The optimal state, and therefore the set of active obligations, can change radically when the violation context changes. In such cases we say that the obligations only in force in the previous violation context are defeated; contextual deontic logic is theref...
متن کاملFacilitating International Electronic Commerce by Formalising the Incoterms
The Incoterms, international commercial terms, offer a rare example of highly standardised terms for commercial transactions. In this paper we present a logical analysis of the Incoterms. Our analysis shows that there is a rich variety of different cases of deontic and defeasible reasoning in the Incoterms. Most of the rules in the Incoterms are expressed in deontic notions such as obligation, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 21 شماره
صفحات -
تاریخ انتشار 1994